Computer vision and human–computer interaction are essential in many technological fields. Researchers in CV are particularly interested in real-time object detection techniques, which have a wide range of applications, including inspection systems. In this study, we design and implement real-time object detection and recognition systems using the single-shoot detector algorithm and deep learning techniques with pre-trained models. The system can detect static and moving objects in real-time and recognize the object’s class. The primary goals of this research were to investigate (...) and develop a real-time object detection system that employs deep learning and neural systems for real-time object detection and recognition. In addition, we evaluated the free available, pre-trained models with the SSD algorithm on various types of datasets to determine which models have high accuracy and speed when detecting an object. Moreover, the system is required to be operational on reasonable equipment. We tried and evaluated several deep learning structures and techniques during the coding procedure and developed and proposed a highly accurate and efficient object detection system. This system utilizes freely available datasets such as MS Common Objects in Context, PASCAL VOC, and Kitti. We evaluated our system’s accuracy using various metrics such as precision and recall. The proposed system achieved a high accuracy of 97% while detecting and recognizing real-time objects. (shrink)

Improved governance in any economy indicates government stability, secured law and order, and minimum internal and external conflicts. A higher level of governance may demonstrate the healthy performance of economic activities and tax revenue collection. Hence, it is vital to investigate the relationship between governance and tax revenue collection in any developing country. Therefore, we aim to investigate the impact of governance on tax revenue in Pakistan using control variables inflation and industrial value-added. The Autoregressive Distributive Lag cointegration technique is (...) utilized to find the long- and short-run effects of hypothesized variables on the tax revenue using a period 1976–2019. After employing a cointegration on the hypothesized model, the results expose that government stability, law and order, and internal and external conflicts leave a positive and significant impact on tax revenue in the long and short run. Hence, it is concluded that governance is an essential source in expanding tax revenue in Pakistan. Moreover, industrial value-added and inflation also show positive effects on the tax revenue. On the grounds of these results, it is proposed that the government should make serious efforts to improve governance and industrial activities for better tax revenue collection. (shrink)

The number of scientific publications is growing exponentially. Research articles cite other work for various reasons and, therefore, have been studied extensively to associate documents. It is argued that not all references carry the same level of importance. It is essential to understand the reason for citation, called citation intent or function. Text information can contribute well if new natural language processing techniques are applied to capture the context of text data. In this paper, we have used contextualized word embedding (...) to find the numerical representation of text features. We further investigated the performance of various machine-learning techniques on the numerical representation of text. The performance of each of the classifiers was evaluated on two state-of-the-art datasets containing the text features. In the case of the unbalanced dataset, we observed that the linear Support Vector Machine achieved 86% accuracy for the “background” class, where the training was extensive. For the rest of the classes, including “motivation,” “extension,” and “future,” the machine was trained on less than 100 records; therefore, the accuracy was only 57 to 64%. In the case of a balanced dataset, each of the classes has the same accuracy as trained on the same size of training data. Overall, SVM performed best on both of the datasets, followed by the stochastic gradient descent classifier; therefore, SVM can produce good results as text classification on top of contextual word embedding. (shrink)

This study aims to examine the underlying mechanism of the relationship between perceived green human resource management and perceived employee green behavior. By drawing on attitude and social exchange theories, we examined green commitment as a mediator and green knowledge sharing as a moderator of the GHRM–EGB relationship. The study employs partial least square structural equation modeling to analyze 329 responses. Data were collected in two time lags. The empirical results confirmed that GC mediates the relationship between GHRM and EGB. (...) However, the study results found that GKS moderated the indirect influence of GHRM on green behavior via GC. This research signifies the effect of GHRM, GKS, GC, and green behavior on organizations’ sustainability and environmental management. Despite the emerging literature on the significance of green practices in organizations for environmental management, no study has examined the moderating role of GKS on the indirect effect of GHRM on green behavior via mediating role of GC. This study offers valuable insight into environmental management in organizations through green practices and green behavior. (shrink)

Every emerging technology has its pros and cons; health-conscious users pay more importance to healthy and environment-friendly technologies. Based on the UTAUT2 model, we proposed a comprehensive novel model to study the factors influencing consumers’ decision-making to adopt the technology. Compared to prior studies that focused on linear models to investigate consumers’ technology adoption intentions and use behavior. This study used a Structural Equation Modeling-fuzzy set qualitative comparative analysis approach to account for the complexity of customers’ decision-making processes in adopting (...) new technology. We collected valid responses from 830 consumers, analyzed them, and evaluated them using a deep learning SEM-fsQCA technique to capture symmetric and asymmetric relations between variables. We have extensively incorporated a health-consciousness attitude as a predictor and mediator to understand better the decision-making toward technology adoption, specifically 5G technology. All the factors tested in our model are statistically significant except the economic factors. Health-consciousness attitude and behavioral intention found significant predictors and valid mediators in the process of 5G technology adoption. FsQCA provided six configurations to achieve high 5G adoption. The findings have significant practical ramifications for telecom corporations, advertisers, government officials, and key policymakers. Additionally, the study added substantial theoretical literature to technology adoption, particularly the adoption of 5G technology. (shrink)

This paper analyzes the impact of the COVID-19 pandemic on the mental health of the teachers, specifically the techno stress arising in them as a result of issues faced by them in the use of technology when they conduct the online academic activities. It aims to assess the major factors related to the online teaching that specifically adds to techno stress on the teachers during the COVID-19 outbreak. Finally, the study aims to provide suggestions to the policymakers and the management (...) of the universities so that the effect of the COVID-19's on teachers' mental health and the related techno stress can be reduced. This paper is a literature review of the articles on the notion of techno stress on teachers and their mental health by searching the related articles with these terminologies using the renowned search engines of Google Scholar and Web of Science. A combination of the terms such as Coronavirus, COVID-19, mental health, psychological distress, techno stress, and online teaching were used in the article search for the review. The literature has suggested that the COVID-19 outbreak has significantly affected the mental health of the employees in general and specifically, the teachers who are engaged in online academic activities and teaching in the universities. The paper has identified a few factors that are the cause of the techno stress and provides recommendations for the university management and the policy makers for minimizing their negative impact on the teachers, in terms of the techno stress and their mental health. Coronavirus is a new strain of the viruses that has badly engulfed the entire population of the world. It is even now badly rising and causing deaths while this article is in the writing phase. The article has addressed the mental health concerns of the university teachers as they are now working from home using ICT for delivering the lectures and conducting the online teaching and learning activities for the students at their universities. This is a matter of grave importance now and requires immediate attention. Hence, this article broadens the scope of the research on the corona virus and its impact on the university teachers. (shrink)

The current study investigates whether tournament incentives motivate chief executive officer to be socially responsible. Furthermore, it explores the role of sub-national institutional contingencies [i.e., state-owned enterprises vs. non-SOEs, foreign-owned entities vs. non-FOEs, cross-listed vs. non-cross-listed, developed region] in CEO tournament incentives and the corporate social responsibility performance relationship. Data were collected from all A-shared companies listed in the stock exchanges of China from 2014 to 2019. The study uses the baseline methodology of ordinary least squares and cluster OLS regression. (...) Moreover, firm-fixed effects regression, two-stage least squares regression, and propensity score matching deal with the endogeneity problem and check the robustness of the results. The results provide reliable evidence that tournament incentives motivate CEOs to be more socially responsible. On the other hand, sub-national institutional contingencies positively affect the association between CEO tournament incentives and CSRP. The findings have important implications for companies and regulators who wish to enhance CSP by providing incentives to top managers. (shrink)

Motivated by the social and environmental challenges resulting from the COVID‐19 pandemic, this research examines the influence of the “big five” personality traits; extroversion, agreeableness, openness, conscientiousness, and neuroticism on sustainable social responsibility with a mediating role of bricolage. We collected empirical evidence from 245 family‐owned SMEs. The results indicate that the personality traits do not directly influence sustainable social responsibility, although the traits (except extroversion) influence bricolage. Moreover, we found that open, conscious, and agreeable personalities indirectly contribute to sustainable (...) social responsibility, with bricolage as a mediator. Our findings encourage enterprises to focus on those personality traits during crises (especially COVID‐19) that empower people to effectively manage existing resources (e.g., bricolage) and protect their stakeholders. Family‐owned SMEs need to assign resource utilization tasks to family members having personalities of openness, conscientiousness, and neuroticism because these kinds of people have high capacities for bricolage. (shrink)

This study aims to investigate the impact of stakeholders’ views on the practices of green innovation, consequent effect on environmental and organizational performance, and moderating influence of innovation orientation. A quantitative method was employed for the sample size of 515 responses. To accumulate the data from the respondents, convenient random sampling was used. Data were collected from manufacturing and services firms through a field survey by using a closed-ended questionnaire based in the Punjab province of Pakistan. The analysis was done (...) using the structural equation model of the partial least square analysis method. Our findings proved a positive and significant link between stakeholders’ views on GI practices. A significant association has been found between GI practices and environmental and OP. The moderating effect was found to be negative but statistically significant. This research offers numerous contributions and provides decision-making insinuations. (shrink)

Intellectual Capital is a driving force behind the financial performance of non-financial firms. Investing in intellectual and physical capital allows companies to optimize their financial performance by maximizing resource utilization. This study aims to determine whether IC efficiency impacts the financial performance of listed Pakistani and Indian companies between 2010 and 2020. Return on Assets and Return on Equity are used to calculate financial performance, and IC is calculated using the modified Value-Added Intellectual Coefficient model. Regression analysis is performed using (...) the STATA software developed by the South Texas Art Therapy Association. Human Capital, Structural Capital, and Capital Employed have a significant impact on Pakistani and Indian firms’ financial performance. Resource-based theory supports these findings. The findings should provide management with a prompt to improve financial performance and emphasize the importance of IC. A rare study has addressed the impact of IC on firm financial performance using the MVAIC model, rather than the VAIC model, in Pakistan and India. (shrink)

Shyness affects and influences the performance of the learners at school and college level. There are different correlates and reasons of shyness. Zimbardo states that Shyness is a vague concept which has many interpretations and definitions. One definition which is very renowned is that “The person, male or female, who is nervous, worried, and uncomfortable in the gathering or presence of others, is called shy”. The objectives of this research study were as: to investigate the relationship of schooling system with (...) shyness to investigate the relationship of residential locality with shyness to check relationship of Socio- Economic status with shyness To rank the correlates of shyness. Overall 252 students from graduation of Indus group of Colleges from Rawalpindi and Islamabad were the population of the study and 42 students were selected through simple random sampling technique as a sample for the study. The researcher got the data with the help of personal visits to the colleges. Questionnaire for measuring shyness was used by the researcher for this research study1. Another self developed questionnaire or instrument was used to know the correlates of shyness. Chisquare test of independence was used for data analysis. The results of the study showed that shyness depended upon these correlates of shyness as residential locality Schooling system socio-economic status of the learners. Shyness depends upon above mentioned correlates. In order to remove this problem of shyness, some steps should be taken as learners or students may not be blamed or punished without any reason. Learners should be encouraged and motivated. (shrink)

The present study was conducted in Quetta district Balochistan province so as to determine the perception of the respondents about causes and consequences of child labor in Balochistan province. The sample size was 100 family units selected by using the simple random sampling. Somehow of the respondents fall in the age categories of 41 to 50 years, followed by 30% of the family units who were in the age categories of 50 and above years. More than half 52% of the (...) respondents were illiterates and the other of the respondents had primary level of education. The result is further expressed that the other 20% of the male respondents were of the view that the retail trade, cycling repairing and carpet business important child labor route respectively. While 20% of the female respondents revealed that they are cycling repairing and carpet business important child labor route respectively at Quetta district. Children are the assets of any nation without their contribution in the developmental process can be null and void, therefore it should be recommended that government must take stern action against the child labor at grass-root level to eliminate the child labor in the community or society. (shrink)

RésuméCette première étude permet notamment de dégager ce résultat épistémologique: les différentes formes d’“inférence co-relationnelle” connues dans la jurisprudence islamique sous le nom de qiyās représentent une forme innovante et sophistiquée de raisonnement qui permet non seulement d'avoir une conception épistémologique plus claire du raisonnement légal en général, mais aussi de produire une mécanique bien huilée pour le “raisonnement parallèle”; cette mécanique du “raisonnement parallèle” peut être déployée selon un large spectre dans différents cadres de résolution de problèmes et ne (...) semble pas se réduire aux formes standard de l'argumentation analogique étudiées en philosophie des sciences contemporaine. Nous n'aborderons cependant dans la présente étude que le cas de la dénommée “inférence co-relationnelle du facteur occasionnel”, et ce seulement dans le contexte de la jurisprudence islamique. (shrink)

The fight to find effective, long-lasting treatments for cancer has led many researchers to consider protein degrading entities. Recent developments in PROteolysis TArgeting Chimeras (PROTACs) have signified their potential as possible cancer therapies. PROTACs are small molecule, protein degraders that function by hijacking the built-in Ubiquitin-Proteasome pathway. This review mainly focuses on the general design and functioning of PROTACs as well as current advancements in the development of PROTACs as anticancer therapies. Particular emphasis is given to PROTACs designed against various (...) types of Leukemia/Blood malignancies. (shrink)

Muhammad Arsyad Al-Banjari who lived from 1710 to 1812 in Borneo, Indonesia, applied a model of integrating uses of the Banjarese tradition into Islamic Jurisprudence based on a dialectical constitution of qiyās, the legal argumentation theory for parallel reasoning and analogy, he learned from the Shāfi‘ī-school of jurisprudence (uṣūl al-fiqh). Our paper focuses in the model of integration proposed and practiced by Al-Banjari, a rational debate grounded on a dynamic view on legal systems. We will illustrate the method with (...) the help of two different kinds of qiyās deployed by Al-Banjari in order to argue for the rejection of some traditional Banjarese offering-rituals for avoiding disease or calamities (manyanggar and mambuang pasilih), and for the acceptance of the use of consuming the traditional drink called lahang made of the juice of sugar-palm. As our dialogical reconstruction shows, the development of the debates, particularly the first one, is quite sophisticated, with a Banjarese opponent that does not surrender easily to the rejection of his use of those rituals. (shrink)

This monograph proposes a new way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors’ view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning (...) studied in contemporary philosophy of science and argumentation theory. After an overview of the emergence of qiyās and of the work of al-Shīrāzī penned by Soufi Youcef, the authors discuss al-Shīrāzī’s classification of correlational inferences of the occasioning factor. The second part of the volume deliberates on the system of correlational inferences by indication and resemblance. The third part develops the main theoretical background of the authors’ work, namely, the dialogical approach to Martin-Löf's Constructive Type Theory. The authors present this in a general form and independently of adaptations deployed in parts I and II. Part III also includes an appendix on the relevant notions of Constructive Type Theory, which has been extracted from an overview written by Ansten Klev. The book concludes with some brief remarks on contemporary approaches to analogy in Common and Civil Law and also to parallel reasoning in general. (shrink)

One of the epistemological results emerging from this initial study is that the different forms of co-relational inference, known in the Islamic jurisprudence as qiyās, represent an innovative and sophisticated form of reasoning that not only provides new epistemological insights into legal reasoning in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical argumentation studied in contemporary (...) philosophy of science. However, in the present paper we will only discuss the case of so-called co-relational inferences of the occasioning factor and only in the context of Islamic jurisprudence. (shrink)

One of the epistemological results emerging from this initial study, is that the different forms of co-relational inference, known in the Islamic jurisprudence as qiyās represent an innovative and sophisticated form of reasoning that not only provide new epistemological insights of legal reasoning in general but they also furnish a fine-grained pattern for parallel reasoning that can be deployed in a wide range of problem-solving contexts and that does not seem to reduce to the standard forms of analogical argumentation studied (...) in contemporary philosophy of science. More specifically the main claim is that a dialectical framework provides the right instrument to stress two of the most salient features of this form of inference: (1) it's heuristic nature and (2) the dynamics underlying the meaning-explanation of the terms involved. Both display what we take to be the main epistemological idea behind the qiyās, namely: the open texture of the meaning of normative statements. To put it more generally, the notion of co-relational inference suggests that every form of parallel reasoning based on meaning presupposes that the concept of meaning involved is open to contextual changes. Moreover the latter indicates that the whole process deployed is intrinsically dialectic. (shrink)

With the advancement of scientific collaboration in the 20th century, researchers started collaborating in many research areas. Researchers and scientists no longer remain solitary individuals; instead, they collaborate to advance fundamental understandings of research topics. Various bibliometric methods are used to quantify the scientific collaboration among researchers and scientific communities. Among these different bibliometric methods, the co-authorship method is one of the most verifiable methods to quantify or analyze scientific collaboration. In this research, the initial study has been conducted to (...) analyze interdisciplinary research activities in the computer science domain. The ACM has classified the computer science fields. We selected the Journal of Universal Computer Science for experimentation purposes. The J.UCS is the first Journal of Computer Science that addresses a complete ACM topic. Using J.UCS data, the co-authorship network of the researcher up to the 2nd level was developed. Then the co-authorship network was analyzed to find interdisciplinary among scientific communities. Additionally, the results are also visualized to comprehend the interdisciplinary among the ACM categories. A whole working web-based system has been developed, and a forced directed graph technique has been implemented to understand IDR trends in ACM categories. Finally, the IDR values between the categories are computed to quantify the collaboration trends among the ACM categories. It was found that “Artificial Intelligence” and “Information Storage and Retrieval”, “Natural Language Processing and Information Storage and Retrieval”, and “Human-Computer Interface” and “Database Applications” were found the most overlapping areas by acquiring an IDR score of 0.879, 0.711, and 0.663, respectively. (shrink)

The study is based on validating and exploring the effects of a mega project plan on infrastructure development and Sustainable Project Management. The CPEC has great importance to infrastructure development and economy-boosting. The current study's primary aim is to deal with environmental protection, economic boost up, international relations influencing to the Project's success. The paper also addressed project management as a moderator between environmental protection, economic boost up, international relations, and the CPEC project's success. The primary data has been gathered (...) by using questionnaires, and PLS-SEM has been employed for the analysis. The results revealed that environmental protection, economy boost up, and international relations have a positive association with the success of CPEC. The outcomes also exposed that project management moderating among the nexus of economy boosts up the international relations and success of CPEC. The present study results guided how Pakistan and China make the CPEC project stronger with the efficient implementation of practices required for protecting the environment, with the economic growth and boost up, and good strong relations with foreign countries. This study was an attempt to validate the different factors to check their association with each other in a new environment, resulting in a leading edge for the success of mega projects that influence project management. (shrink)

This study examined the mediation and moderation models of the relationship between Islamic work ethics (IWE), thriving at work, organizational citizenship behavior (OCB), and leader humility. A total of 418 employees from two different sample groups (Islamic banks and educational institutions) in Indonesia were included. A multiple regression hierarchy with PROCESS was used to test the hypotheses. We found a positive influence of IWE and leader humility on thriving and OCB and thriving at work on OCB. Thriving was found to (...) mediate the relationship between IWE and OCB, and the leader humility moderates these relationships. Thriving at work and OCB are dramatically under-represented in Islamic work ethics research, and this study attempts to fill this void. Furthermore, this study reveals the interactive role of leader humility and IWE in enhancing OCB preference and the mediating role of thriving at work in the IWE − OCB relationship. (shrink)

The main aim of this study was to empirically analyze whether Institutional Quality moderates the relationship between corporate governance and stock liquidity through the light of agency and information asymmetry theory. To the best of our knowledge, this is the first finance study. The sample consists of 230 non-financial firms listed on the Pakistan stock exchange during the period of 2009–2019. We used an instrumental variable approach and our new Institutional Quality index composed of world governance indicators and a corporate (...) governance index, developed via principal component analysis, to demonstrate a relationship between corporate governance and stock liquidity and check the moderating role of Institutional Quality by following the resources complementary phenomenon. Our results show a significant, positive relationship between the corporate governance index and stock liquidity, suggesting that well-governed firms have high liquidity. The results show that the Institutional Quality index has a positive moderating impact on the relationship between corporate governance and stock liquidity, suggesting that corporate governance in Pakistan is weak. Our results are robust to a series of endogeneity checks using alternative proxies of stock liquidity. (shrink)

History and criticism on the work of Sir Muhammad Iqbal, 1877-1938.

Los estudios modernos sobre derecho islámico han puesto de relieve la necesidad de estudiar los procedimientos jurídicos en el Islam y el papel desempeñado por la práctica judicial en su formación. Se considera en general que, en el período temprano, los cadíes disponían de mayor libertad en lo relativo a testigos y métodos para establecer pruebas. Posteriormente y de forma gradual el sistema se volvió más rígido y restrictivo. En relación a este desarrollo, los investigadores han propuesto distintas fechas, que (...) van desde la segunda mitad del siglo VII hasta el siglo VIII e incluso hasta el siglo XI. Estos investigadores han tratado la doctrina de al-yamīn ma‛ al-šàhid como una excepción dentro del procedimiento establecido por la šarī‛a que, según ellos, se basaba estricta y mecánicamente en la doctrina de los dos testigos. Para dichos investigadores, la doctrina de al-yamīn ma‛ al-šàhid surgió bajo la influencia de determinadas locadidades o bien por influencia judía. Este artículo propone que esa doctrina debió de surgir en el contexto del período de la guerra civil, cuando las cuestiones sobre qiṣāṣ, qawad, qasāma y ḥakam fueron discutidas con frecuencia en relación con el Corán y la sunna común y cuando se sintió la necesidad de reformar la institución del ḥakam. Sobre la base de afirmaciones dispersas de ulemas que vivieron en fechas cercanas a ese período, afirmaciones que se ven confirmadas por los comentarios de Wakī‛, se concluye que Mu‛āwiya fue quien introdujo ese método para reformar la institución del ḥakam. La práctica judicial de esta doctrina también confirma que estaba demasiado difundida como para poder considerarla una práctica medinense o una práctica local, tal y como pretenden algunos juristas clásicos, los tradicionistas y algunos investigadores modernos. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for the studies (...) of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

This research aims to reveal the historical roots and elements of the background for the formation of the Orang Rimba's religion. This study is based on field research with a descriptive approach of religious phenomenon. The research derives some conclusions: the Orang Rimba is monotheist, that is, they are not adherents to dynamism, polytheism, or animism as it has been understood. The history of the Orang Rimba's religion is affected by two elements; namely, Rimba culture and Islamic culture. Evidence suggests (...) that Islam is one element of Orang Rimba's religion as the following: Mantra of Getting Honey, such as Basmallah, Allah, Istighfar, Muhammad and Ya Karim; Orang Rimba Faith in God, the Prophet Muhammad, the Angel and Doomsday; the values of the ceremony of Death: Ratib Laa Ilaha Illallah; and the values of the ceremony Berdekir. It has proved the existence of a new theory about the spread of Islam in the Suku Anak Dalam community since the 14th century and at the same time undermined the old theory of the Orang Rimba's religion that has been misunderstood over the years.CONTRIBUTION: Researchers can use this new theory's findings as reference material on the Orang Rimba's religion. They can also use this theory to compare other views about the Orang Rimba's religion. (shrink)

Sagānî's Mashāriq al-Anwār is one of the most used sources about the science of hadith in the Ottoman Empire. This work reinforced its authority with the commentaries of Ibn Melek and Ekmeleddin Bāberti. Many studies have been done about Mashāriq and its commentaries in the Ottoman Empire. Most of them are in manuscript form, and some do not even have introductory information. One of these works, about which there is no study, is Darwīsh Ali's Anwār a'l-Mashāriq. The work is a (...) voluminous hāshiya written about the commentaries of Ibn Malak and Bābartī together with Mashāriq al-Anwār. Studies attribute this work to Ali Dede el-Bosnawi (d. 1007-1598). However, this ratio needs to be corrected. One of the questions of this article is whether Darwīsh Ali b. Muhammad, who is stated as the author of the book, and Ali Dede al-Bosnawi are the same person. The answer to this question has been researched as a result of comparing information obtained from the different copies of the work and the points where Ali Dede's life overlaps and does not over-lap. Although Ali Dede lived in Bosnia, Zigetvar, Istanbul, Mecca, and Medina, there is no information that he lived in Aleppo. However, our author Darwīsh Ali clearly states that he was a mufti in Aleppo in the introduction of some of his copies. The author also talks about a period when he was in the Husrev Pasha madrasah. Even though Gazi Husrev Pasha madrasah in Bosnia comes to mind when Husrev Pasha madrasah is mentioned, there is also a madrasah with this name in Aleppo. It is known that Darwīsh Ali, who was a mufti in Aleppo, has a history book called Hulāsa al-Tawārīh. In different copies of Anwār al-Mashāriq, Ahmed Pasha Madrasa in Karahisar is mentioned as the place where his work was written. What is meant here may be the Gedik Ahmed Pasha madrasah in Afyonkarahisar or the Ahmed Pasha madrasah in Tekirdag Çorlu. It is difficult to identify the author from the information used in the hashiya. Because the features such as the use of poetry and Persian, a good knowledge of hadith, and knowledge of Sufism in the book can point to both authors. (shrink)

The aim of this paper is to evaluate on how good traditional house design is able to give residential satisfaction levels and could contribute towards habitability in Shibam, Yemen. House design in this study is a subject dealing with efficient space-function design of the house layout which shows cultural aspects of the community. Houses in Shibam typify the traditional architecture which reflects to the structure of family, and social and cultural realms. The houses comprises mid and high-rise mud brick house (...) types, considered as one of the earliest high-rise house type built in the world. Today, the city of Shibam with mid and high-rises mud brick house types is recognized as one of the heritage sites under UNESCO’s World Heritage Lists. The literature study is conducted to understand the definitions of the title, which is important to identify the measurable factors for the research analysis. The study finds that diwan, dining area, bedrooms, bathrooms, corridor and storage, courtyard and balcony, and the composition of the rooms’ layout are important measurable checklist’s factors under category of space planning and function. There are two types of the research analyses which are qualitative and quantitative analysis. The qualitative analysis is a study by the researcher based on the researcher’s observation on the house design during the site visit while the quantitative analysis is from the respondents’ answers (300 respondents) on their satisfaction level from the research questionnaires. With high average scores of 94% in qualitative and 90% in quantitative analysis on satisfactory level, it shows that both results of qualitative and quantitative analysis support the research assumption. In that light, within the ambit of this study, the house design in Shibam can and does serve as a reference. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

Kameron Carter’s reading of Black life as matter, as the imaginary, and as an innovation of possibilities enmeshes Black theology, Black womanist/feminist thought, Black Diaspora and Black American Studies, Philosophy, and Queer of Color Critique to reveal how the project of the western world erases Black physical and intellectual legacy. A project that is anti-black, anti-other, anti-difference that erases the legacy of the physical and intellectual aspects of Black contributions to the western world. His book is an invitation to think (...) through what Black ontology would look like outside of white western constructions of religion and social scripts. Carter’s radical shift from being beyond the long durée of enslavement, colonization, segregation, and its afterlives scripts an (anti)blackening because of the western project of erasure works to undo such a project. The book is working against the social ontology of being a fragmented object that is plasticized, fetishized, and dissolved into a state of non-being. It is a project that disrupts and decolonizes previously constructed (anti)blackening architecture by creating a blueprint that asks for Black matter as an incomplete project because it must include imagination and innovation. (shrink)

We examined the direct and indirect (via relational social capital) relationship between ethical leadership and knowledge hiding. We also tested the moderating role of instrumental thinking in the relationship between ethical leadership and knowledge hiding and the relationship between ethical leadership and relational social capital. Data were collected from 245 employees in different firms spanning different manufacturing and service sectors. The results showed that ethical leadership was negatively related to knowledge hiding, both directly and via relational social capital. The results (...) revealed that instrumental thinking moderated the positive relationship between ethical leadership and relational social capital, such that the relationship was weak when instrumental thinking was high. The results also showed that instrumental thinking moderated both direct and indirect relationships between ethical leadership and knowledge hiding, such that the relationships were weak when instrumental thinking was high. The study carries important practical implications for managers concerned about the destructive consequences of knowledge hiding. (shrink)

Orthodox economics operates within a hypothesized world of perfect competition in which perfect consumers and firms act to bring about supposedly optimal outcomes. The discrepancies between this model and the reality it claims to address are then attributed to particular imperfections in reality itself. Most heterodox economists seize on this fact and insist that the world is characterized by imperfect competition. But this only ties them to the notion of perfect competition, which remains as their point of departure and base (...) of comparison. There is no imperfection without perfection. In Capitalism, Anwar Shaikh takes a different approach. He demonstrates that most of the central propositions of economic analysis can be derived without any reference to standard devices such as hyperrationality, optimization, perfect competition, perfect information, representative agents, or so-called rational expectations. This perspective allows him to look afresh at virtually all the elements of economic analysis: the laws of demand and supply, the determination of wage and profit rates, technological change, relative prices, interest rates, bond and equity prices, exchange rates, terms and balance of trade, growth, unemployment, inflation, and long booms culminating in recurrent general crises. In every case, Shaikh's innovative theory is applied to modern empirical patterns and contrasted with neoclassical, Keynesian, and Post-Keynesian approaches to the same issues. Shaikh's object of analysis is the economics of capitalism, and he explores the subject in this expansive light. This is how the classical economists, as well as Keynes and Kalecki, approached the issue. Anyone interested in capitalism and economics in general can gain a wealth of knowledge from this ground-breaking text. (shrink)

The Joint Battle Management Language (JBML) is an XML-based language designed to allow Command and Control (C2) systems to interface easily with Modeling and Simulation (M&S) systems. While some of the XML-tags defined in this language correspond to types of entities that exist in reality, others are mere syntactic artifacts used to structure the messages themselves. Because these two kinds of tags are not formally distinguishable, JBML messages in effect confuse data with what the data represent. In this paper we (...) show how a realism-based ontology combined with a rule language can be used to make these distinctions explicit. The approach allows storage of the contents of JBML messages in a Referent Tracking System in a format that mimics the structure of reality thereby providing an aid to message validation. (shrink)

Mankind is faced with a number of serious problems that demand an effective solution. The prevalence of injustice and the frequency of financial crises are two of the most serious of these problems. Consisting of an in-depth introduction along with a selection of eight of Muhammad Umer Chapra's essays--four on Islamic economics and four on Islamic finance--this timely book raises the question of what can be done to not only minimize the frequency and severity of the financial crises, but (...) also make the financial system more equitable. The author considers the origins of Islamic economics and outlines its development and underlying principles. He compares the approach taken to ethics and economics in Islam with that taken in the West, considering whether lessons can be applied to the global financial architecture in order to mitigate against financial crises. The book also examines the case against interest and looks at both innovation in Islamic finance, as well as challenges facing the industry. Written by a leading authority in the field, this book will be a stimulating resource for students and researchers in Islamic economics and finance, as well as providing valuable insight to all of those with an interest in financial systems and their interaction with society. (shrink)

New concepts of Muhammadiyah in teaching Islamic values for socio-economic and political development in Indonesia.